An Algebra of Reversible Quantum Computing

Based on the axiomatization of reversible computing RACP, we generalize it to quantum reversible computing which is called qRACP. By use of the framework of quantum configuration, we show that structural reversibility and quantum state reversibility must be satisfied simultaneously in quantum reversible computation. RACP and qRACP has the same axiomatization modulo the so-called quantum forward-reverse bisimularity, that is, classical reversible computing and quantum reversible computing are unified.